{-# LANGUAGE TypeInType #-}

module Typeintype
       ( App ) where

import Data.Kind

data App (f :: k -> *)
